Axiom system

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    A set of axioms or axiom schemata from which theorems can be derived.